研究了王国俊教授建立的模糊命题演算的形式演绎系统T^*及与之在语义上相关的R0－代数，讨论了R0－代数中混合运算×：a×b＝＿（a→_b)......

研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了......

在乘积Ｒ０－代数上引入了若干有用映射，并利用Ｒ０－同态及Ｒ０－同构方法，进上步研究乘积Ｒ０－代数及其子代数之间的相互关系，得到Ｗ＾ｎ的一些基本Ｒ０－子代数，这些结果......